异构环境下基于任务交互图的调度算法

针对异构环境下任务图为TIG（task interaction graph）的问题，利用松弛标记法善于利用邻居属性处理大量约束的特点，提出一种任务调度算法．算法把任务看作目标对象，处理器单元看作待分配标记，根据对象间所有可能关系，逐渐排除不相关的处理器单元，选择计算和通信综合性能较好的处理器单元．在兼顾任务执行的计算和通信需求的情况下，能够合理分配资源、提高处理速度、缩短整个应用程序的执行时间．实验结果与用穷举法得出的最优结果比较显示，本算法能较理想地解决异构环境下基于任务交互图的调度问题．     

面向测控的数字化靶场环境生成系统设计

数字化航天靶场环境生成系统是面向航天测控系统应用的可视化平台，其建模仿真是一项复杂的系统工程。立足于适应未来信息化航天靶场建设的要求，介绍了建立面向测控的数字化靶场环境生成系统的必要性，对其功能和主要特性进行分析说明，描述了系统的组成以及体系结构。对系统实现的关键技术进行分析讨论，主要包括三维地形的快速生成、基于复杂度的三维实体建模方法、分布式仿真环境的设计、人机交互方式的实现等技术难点。     

Characteristics of the Middle-Late Triassic sedimentary facies assemblages in the Songpan-Ruoergai area

The Middle-Late Triassic sedimentary rocks in the Songpan-Ruoergai area mainly consist of calcareous siltstone, muddy limestone, lithic arkose, feldspathic litharenite, mudstone, wormkalk, oolithic limestone, and conglomerate. Except for limestone bed increasing eastward longitudinally and vertically, the calcareous component of the sandstones increases obviously. Abundant benthic and plant fossils and their clasts occur within these rocks. The sedimentary structures predominately contain flaser, parallel, tabular, wavy, and herringbone cross beddings. These data coevally imply that the Middle-Late Triassic sediments deposited in the fluvial, lake and tide environments. Additionally, the rocks display graded, parallel, hummocky beddings, and sandy lamination, a feature characteristic of storm deposits.     

古菌病毒

古菌病毒的研究起步较晚,但发展很快。近年来,人们已经从热泉等特殊环境分离得到了数十种古菌病毒。来自热泉的古菌病毒表现出了极为独特、多样的形态学和基因组学特征,据此目前已经或正在建议建立7个病毒新科。已知的古菌病毒均属于双链DNA病毒,极端嗜热古菌病毒中绝大多数基因的功能尚不清楚。古菌病毒的研究不仅极大地丰富了人们对自然界病毒多样性的认识,还为探索病毒的起源与进化提供了重要启示。本文对古菌病毒的主要类群及特点作了简单介绍,并进一步探讨了病毒的起源与进化。     

动态环境下GPS软件接收机研究

载体的动态性所引入的多普勒频移给GPS接收机的载波跟踪带来了很大的困难。首先介绍了GPS软件接收机捕获与跟踪策略,提出了一种新的基于模糊逻辑控制器和三阶锁相环的动态载波跟踪方案,分析了模糊逻辑控制器的设计原理,推导了适合软件实现的三阶锁相环的数字形式。实验结果证明提出的设计方法与传统环路相比可大幅度缩短载波跟踪时间,减小环路滤波器带宽,并能消除周跳。     

一种基于OBB的碰撞检测算法的改进

针对基于层次包围盒的碰撞检测算法中的方向包围盒（OBB）算法，提出了一种改进算法，利用虚拟环境中发生碰撞的帧与帧之间的关联性，对已发生的碰撞进行缓冲，以便下一次的碰撞检测可以利用已检测的上一次碰撞的信息，加快碰撞检测的速度，同时利用预测试方法扩展了这种算法，实验结果证明，本算法可以有效地解决碰撞检测的计算复杂性问题和改进虚拟环境中碰撞检测的性能。     

非齐次泊松过程类软件可靠性增长模型

现有的基于故障覆盖率的软件可靠性增长模型多是只考虑了累计故障覆盖率 ,没有描述每个测试用例能够获得的故障覆盖率 .为了使软件可靠性增长模型能更好地刻画软件的测试过程 ,建立了两个基于故障覆盖率的非齐次泊松过程类软件可靠性增长模型 .第一个模型假设每个测试用例有相同的故障检测能力 ,能获得相同的故障覆盖率 ;第二个模型考虑了越晚检测到的故障其被检测到的概率越低的特点 ,模型假设每个测试用例的故障检测能力与其出现的次序相关 .利用一组公开发表的软件失效数据对这两个模型进行了验证 ,结果表明这两个模型在这组失效数据上均能得到较好的拟合效果 .     

一类非齐次A-调和方程组弱解的正则性

讨论满足ｐ（１＜ｐ≤ｎ）次控制增长条件的散度型非齐次A-调和方程组：－Ｄα（Ａαｉ（ｘ，ｕ，Ｄｕ））＋Ｂｉ（ｘ，ｕ，Ｄｕ）＝０，其中ｉ＝１，…，Ｎ，通过建立逆Hlder不等式，得出该方程组弱解的局部Ｗ１，ｑ-正则性及局部Hlder连续性.     

Lithological architecture, geological processes and energy-field environments are major factors for the formation of hydrocarbon reservoirs

The formation of hydrocarbon reservoirs is controlled by three major factors: lithological architecture, geological processes and energy-field environments. Among the three major factors, lithological architecture provides the storing medium for hydrocarbon; geological processes include hydrocarbon generation, migration, accumulation, preservation and modification; and energy-field environments refer to the various geothermal and geodynamic forces that affect the lithological architecture and drive the geological processes. In this study, we take Kela-2 and Sulige gas reservoirs as two examples to study relationships among the three major factors, and explain how these factors influence the scale and quality of hydrocarbon reservoirs.     

一类二阶线性微分方程的可积判据

提出了一类新二阶变系数线性微分方程，说明这类方程一般是没有初等解的．然后对这类方程引进特征方程，给出了一个实用的可积充分判据及其通解的积分表达式，从而扩大了常微分方程的封闭可解范围．